Skip to content

Add defaults to csv stubs#9774

Merged
srittau merged 1 commit intomainfrom
csv-defaults
Feb 21, 2023
Merged

Add defaults to csv stubs#9774
srittau merged 1 commit intomainfrom
csv-defaults

Conversation

@AlexWaygood
Copy link
Copy Markdown
Member

I prepared this PR manually using the docs at https://docs.python.org/3/library/csv.html#dialects-and-formatting-parameters and REPL experimentation

@github-actions
Copy link
Copy Markdown
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

Copy link
Copy Markdown
Collaborator

@srittau srittau left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, though I didn't compare against implementation.

@srittau srittau merged commit c407a44 into main Feb 21, 2023
@srittau srittau deleted the csv-defaults branch February 21, 2023 10:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants